#ifndef PREPROCESSING_VARS_H_
#define PREPROCESSING_VARS_H_

#include <Judy.h>

// extern Pvoid_t original_premise_sizes;


#endif
